Nuprl Definition : s-filter
0,22
postcript
pdf
s-filter(
p
;
as
) == reduce(
a
,
l
. if
p
(
a
)
s-insert(
a
;
l
) else
l
fi;nil;
as
)
latex
Definitions
reduce(
f
;
k
;
as
)
,
if
b
t
else
f
fi
,
s-insert(
x
;
l
)
FDL editor aliases
s-filter
origin
a,l. if p(a)
s-insert(a;l) else l fi;nil;as) a,l. if p(a) s-insert(a;l) else l fi;nil;as) t else f fi